241. Software Prototyping in Data and Knowledge Engineering
پدیدآورنده : by Giovanni Guida, Gianfranco Lamperti, Marina Zanella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Software engineering.
242. Software agents and soft computing : towards enhancing machine intelligence : Concepts and application
پدیدآورنده : Hyacinth S. Nwana, Nader Azarmi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intelligent agents )Computer software(,، Soft computing,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1198
243. Software engineering, artificial intelligence, networking and parallel/distributed computing 2011
پدیدآورنده : Roger Lee (Ed.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Software engineering,Artificial intelligence,Parallel processing (Electronic computers),Computer networks, Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA
،
76
.
758
،.
S6457
،
2011
244. Software reliability modelingfundamentals and applications
پدیدآورنده : Yamada, Shigeru,Shigeru Yamada
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Reliability ، Computer software,، Artificial intelligence,، Computer software -- Quality control,، Computer software -- Testing,، Software engineering
رده :
QA76
.
76
.
R44
245. Symposium on real-time and hybrid systems :
پدیدآورنده : Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
246. Teamwork in multi-agent systems
پدیدآورنده : Barbara Dunin - Keplicz, Rineke Verbrugge
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence
رده :
QA
،
76
.
76
،.
D8
،
2010
247. Teamwork in multi-agent systems
پدیدآورنده : / Barbara Dunin-Keplicz, Rineke Verbrugge
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence,Electronic books., local
رده :
QA76
.
76
.
I58D98
2010
248. Teamwork in multi-agent systems
پدیدآورنده : Barbara Dunin-Keplicz, Rineke Verbrugge.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Formal methods (Computer science),Intelligent agents (Computer software)
249. Teamwork in multi-agent systems : a formal approach
پدیدآورنده : Dunin-Keplicz, Barbara.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Intelligent agents )Computer software(,، Formal methods )Computer science(,، Artificial intelligence
رده :
QA
76
.
76
.
I58
D98
2010
250. Technological Innovation for Sustainability
پدیدآورنده : edited by Luis M. Camarinha-Matos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Information storage and retrieval systems.,Software engineering.
251. Technological innovation for resilient systems :
پدیدآورنده : Luis M. Camarinha-Matos, Kankam O. Adu-Kankam, Mohammad Julashokri (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cooperating objects (Computer systems), Congresses.,Application software.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers, Special purpose.,Electric power production.,Energy technology & engineering.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Network hardware.,Technology & Engineering-- Power Resources-- General.
رده :
QA76
.
76
.
A65
I35
2018
252. Technology of Object-Oriented Languages, Systems and Architectures
پدیدآورنده : edited by Theo D'Hondt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer-aided design.,Software engineering.
253. Text Understanding in LILOG :
پدیدآورنده : edited by Otthein Herzog, Claus-Rainer Rollinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer network architectures.,Software engineering.
رده :
P98
.
E358
1991
254. The Locales Framework :
پدیدآورنده : by Geraldine Fitzpatrick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
255. The proceedings of the 11th International CSI )Computer Society of Iran( Computer Conference, CSICC'2006, 24-26 January 2006, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics )IPM(, Tehran, Iran
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Computer architecture,، Artificial intelligence,، Software engineering
رده :
QA
76
.
I572
2006
256. Tools and applications with artificial intelligence
پدیدآورنده : Constantinos Koutsojannis, Spiros Sirmakessis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Intelligent agents )Computer software(
رده :
Q
334
.
T665
257. Tools and applications with artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
258. Towards Autonomous Robotic Systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence. ; Software engineering. ; Computer Communication Networks. ; Computer vision. ; Computer software. ; Artificial Intelligence. ;
259. Transactions on Computational Collective Intelligence XIX
پدیدآورنده : \ Ngoc Thanh Nguyen, Ryszard Kowalczyk, Fatos Xhafa (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational intelligence.,Distributed artificial intelligence.,Intelligent agents (Computer software),هوش کامپیوتری ,هوش مصنوعی توزیعشده ,عوامل هوشمند (نرمافزار کامپیوتر)
رده :
Q342
.
T72
2015
E-Book
,
260. Transactions on Computational Collective Intelligence XVIII
پدیدآورنده : \ Ngoc Thanh Nguyen, editor-in-chief journal
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational intelligence,Distributed artificial intelligence,Intelligent agents (Computer software),هوش کامپیوتری,هوش مصنوعی توزیعشده,عوامل هوشمند (نرمافزار کامپیوتر)
رده :
Q
342
.
T71
2015
E-Book
,